Results for 'Raj K. Anand'

996 found
Order:
  1. Translation: Shri Arvind Ka Shiksha Darshan.K. K. Sharma, Saroj Sobti, Ramesh Kumar Parwa, Suresh Kumar & Desh Raj Sirswal - 2010 - Ambala Cantt.: Centre for Sri Aurobindo Studies.
    Download  
     
    Export citation  
     
    Bookmark  
  2. GILBERRT RYLE ON DESCARTES' MYTH.Desh Raj Sirswal - 2007 - K.U. Research Journal of Arts and Humanities (Jan.-Dec.2007):81-86.
    The aim of this paper is to critically examine the Ryle’s conception of “Descartes Myth”. Ryle has two objectives in his book The Concept of Mind: (i) to refute a current philosophical theory about mind. (ii) to substitute at least in blue print, a satisfactory alternative. This paper gives a descriptive analysis of what Ryle calls Descartes-Myth and arguments for it. Conclusion of this paper drawn as he does not succeed in dispelling the myth but only substitutes a peculiar logical (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Ethical Ideas in Descartes’ Philosophy.Desh Raj Sirswal - 2008 - K.U. Research Journal of Arts and Humanities:89-97.
    Descartes is not well known for his contributions to ethics. Some have charged that it is a weakness of his philosophy that it focuses exclusively on metaphysics and epistemology to the exclusion of moral and political philosophy. Such criticisms rest on a misunderstanding of the broader framework of Descartes’ philosophy. Evidence of Descartes’ concern for the practical import of philosophy can be traced to his earliest writings. In agreement of wisdom that is sufficient for happiness. The Third part of his (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Proceedings of the Second Online Session of SPPIS Haryana.Desh Raj Sirswal - 2014 - Dissertation, Sppis Haryana
    Second Online Session -/- on the theme -/- Development of Philosophy in India -/- 24th June, 2014 -/- positive -/- Table of Content -/- Preface to the Second Session -/- Spirituality Some Philosophical trends : PROF. D.N.TIWARI -/- ROLE OF YOGA AND NATUROPATHY IN THE DEVELOPMENT OF AN IDEAL LIFE STYLE: PROF. SOHAN RAJ TATER -/- THE DEVELOPMENT OF EARLY MUSLIM PHILOSOPHY: DR MERINA ISLAM -/- THE RELEVANCE OF PHILOSOPHY IN THE 21ST CENTURY: DR. K.VICTOR BABU -/- Public Service Values (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. Aborto em Bovinos: Principais Causas Nutricionais.Emanuel Isaque Cordeiro da Silva - manuscript
    Relação e Efeitos Bioquímico-nutricionais Sobre o Aborto em Vacas -/- -/- E. I. C. da Silva Departamento de Agropecuária – IFPE Campus Belo Jardim -/- ABORTO EM BOVINOS -/- INTRODUÇÃO -/- O aborto é a expulsão involuntária do produto da gestação entre os 45 dias de gestação e os 250 dias. O aborto, tem diferentes origens, as mais frequentes são de caráter infeccioso, daqui, a pouca atenção dada aos abortos de outra origem, em especial os causados por problemas nutricionais. O (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. Retardo da Maturidade Sexual em Bovinos: Causas Nutricionais.Emanuel Isaque Cordeiro da Silva - manuscript
    RELAÇÃO E EFEITOS BIOQUÍMICO-NUTRICIONAIS SOBRE O RETARDO DA MATURIDADE SEXUAL EM BOVINOS -/- -/- Emanuel Isaque Cordeiro da Silva -/- Departamento de Agropecuária – IFPE Campus Belo Jardim -/- [email protected] ou [email protected] -/- WhatsApp: (82)98143-8399 -/- -/- 12. RETARDO DA MATURIDADE SEXUAL -/- -/- Nos animais em crescimento, as deficiências em qualquer dos nutrientes: proteína, energia, macro ou microminerais, vitaminas e aporte hídrico, geram inibição das sínteses de proteínas específicas como os fatores de crescimento. Neste tipo de situação, as taxas (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. Relação e Efeitos Bioquímico-nutricionais Sobre os Cistos Ovarianos em Vacas.Emanuel Isaque Cordeiro da Silva - manuscript
    RELAÇÃO E EFEITOS BIOQUÍMICO-NUTRICIONAIS SOBRE OS CISTOS OVARIANOS EM VACAS Emanuel Isaque Cordeiro da Silva Departamento de Agropecuária – IFPE Campus Belo Jardim [email protected] ou [email protected] WhatsApp: (82)98143-8399 11. CISTOS OVÁRICOS Os cistos são cavidades anormais que às vezes possuem conteúdo de fluido biológico, ou podem ser cavidades ocas, com paredes sólidas refratárias à maioria dos compostos endógenos. Formam-se como alterações patológicas das células luteais ou foliculares do estroma ovárico. A presença de cistos altera o ciclo estral e obriga a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. Natimortos em Bovinos: Principais Causas Nutricionais.Emanuel Isaque Cordeiro da Silva - manuscript
    RELAÇÃO E EFEITOS BIOQUÍMICO-NUTRICIONAIS SOBRE OS BEZERROS NATIMORTOS EM VACAS Emanuel Isaque Cordeiro da Silva Departamento de Agropecuária – IFPE Campus Belo Jardim [email protected] ou [email protected] WhatsApp: (82)98143-8399 15. NATIMORTOS Por natimortos, entende-se todos aqueles produtos (bezerros/bezerras) que nascem vivos após um tempo de gestação fisiológica normal, mas que morrem nas primeiras 24 horas de vida, ou às vezes nascem mortos, sem evidência clara de que a morte tenha ocorrido 48 horas (ou menos) antes do parto (FRAZER, 2005; GORDON, 1996). (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. Relação e Efeitos Bioquímico-nutricionais Sobre os Transtornos do Ciclo Estral em Vacas.Emanuel Isaque Cordeiro da Silva - manuscript
    RELAÇÃO E EFEITOS BIOQUÍMICO-NUTRICIONAIS SOBRE OS TRANSTORNOS DO CICLO ESTRAL DE VACAS -/- Emanuel Isaque Cordeiro da Silva Departamento de Agropecuária – IFPE Campus Belo Jardim [email protected] ou [email protected] WhatsApp: (82)98143-8399 -/- •__6. Transtornos do ciclo estral -/- Qualquer alteração na frequência, duração ou intensidade do ciclo estral é considerada uma perturbação do ciclo, cujas origens variam etiologicamente. As perturbações do ciclo podem originar-se em qualquer das partes do eixo hipotálamo-hipófise-ovário (FRAZER, 2005; GORDON, 1996). Pode ou não ser do tipo (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. Relação e Efeitos Bioquímico-nutricionais Sobre o Corpo Lúteo Persistente em Vacas.Emanuel Isaque Cordeiro da Silva - manuscript
    RELAÇÃO E EFEITOS BIOQUÍMICO-NUTRICIONAIS SOBRE O CORPO LÚTEO PERSISTENTE EM VACAS E. I. C. da Silva Departamento de Agropecuária – IFPE Campus Belo Jardim Departamento de Zootecnia – UFRPE sede CORPO LÚTEO PERSISTENTE EM BOVINOS INTRODUÇÃO Essa alteração funcional da estrutura ovárica está relacionada com uma lise incompleta do corpo lúteo, o que leva à presença de níveis subnormais de progesterona bloqueando a ciclicidade ovárica ao retardar a retroalimentação para a ação dos estrogênios durante o proestro e o estro. Os (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. Relação e Efeitos Bioquímico-nutricionais Sobre as Alterações do Corpo Lúteo em Vacas.Emanuel Isaque Cordeiro da Silva - manuscript
    RELAÇÃO E EFEITOS BIOQUÍMICO-NUTRICIONAIS SOBRE AS ALTERAÇÕES DO CORPO LÚTEO EM VACAS -/- Emanuel Isaque Cordeiro da Silva Departamento de Agropecuária – IFPE Campus Belo Jardim [email protected] ou [email protected] WhatsApp: (82)98143-8399 -/- •__7. ALTERAÇÕES DO CORPO LÚTEO -/- A estrutura funcional desenvolve-se a partir da cavidade folicular após a ovulação. O corpo lúteo é constituído pelas células da teca interna (pequenas e ativas na primeira fase do seu desenvolvimento) e células da granulosa (grandes e ativas na segunda metade do seu (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12.  93
    Conferralism.Anand Vaidya & Michael Wallner - 2024 - In Kathrin Koslicki & Michael J. Raven (eds.), The Routledge Handbook of Essence in Philosophy. New York, NY: Routledge. pp. 472-486.
    In this article we survey Ásta’s (2008, 2013) conferralist account of essence, which provides a broadly anti-realist picture of essence. We first offer some thoughts on the difference between realist and anti-realist accounts of essence in general. Then we present Ásta’s notion of a conferred property and sketch her conferralist account of essence. Finally, we examine some critical questions conferralism faces.
    Download  
     
    Export citation  
     
    Bookmark  
  13. The epistemology of modality and the problem of modal epistemic friction.Anand Jayprakash Vaidya & Michael Wallner - 2021 - Synthese 198 (Suppl 8):1909-1935.
    There are three theories in the epistemology of modality that have received sustained attention over the past 20 years: conceivability-theory, counterfactual-theory, and deduction-theory. In this paper we argue that all three face what we call the problem of modal epistemic friction. One consequence of the problem is that for any of the three accounts to yield modal knowledge, the account must provide an epistemology of essence. We discuss an attempt to fend off the problem within the context of the internalism (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  14. Biomedical informatics and granularity.Anand Kumar & Barry Smith - 2004 - Comparative and Functional Genomics 5 (6-7):501-508.
    An explicit formal-ontological representation of entities existing at multiple levels of granularity is an urgent requirement for biomedical information processing. We discuss some fundamental principles which can form a basis for such a representation. We also comment on some of the implicit treatments of granularity in currently available ontologies and terminologies (GO, FMA, SNOMED CT).
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  15. Why the Perceived Flaw in Kempe's 1879 Graphical `Proof' of the Four Colour Theorem is Not Fatal When Expressed Geometrically.Bhupinder Singh Anand - manuscript
    All accepted proofs of the Four Colour Theorem (4CT) are computer-dependent; and appeal to the existence, and manual identification, of an ‘unavoidable’ set containing a sufficient number of explicitly defined configurations—each evidenced only by a computer as ‘reducible’—such that at least one of the configurations must occur in any chromatically distinguished, minimal, planar map. For instance, Appel and Haken ‘identified’ 1,482 such configurations in their 1977, computer-dependent, proof of 4CT; whilst Neil Robertson et al ‘identified’ 633 configurations as sufficient in (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  16. The Ontology of Processes and Functions: A Study of the International Classification of Functioning, Disability and Health.Anand Kumar & Barry Smith - 2005 - In Barry Smith, Anand Kumar & Thomas Bittner (eds.), Basic Formal Ontology for bioinformatics. IFOMIS Reports.
    The International Classification of Functioning, Disability and Health provides a classification of human bodily functions, which, while exhibiting non-conformance to many formal ontological principles, provides an insight into which basic functions such a classification should include. Its evaluation is an important first step towards such an adequate ontology of this domain. Presented at the 13th Annual North American WHO Collaborating Center Conference on the ICF, 2007.
    Download  
     
    Export citation  
     
    Bookmark  
  17. Can A Quantum Field Theory Ontology Help Resolve the Problem of Consciousness?Anand Rangarajan - 2019 - In Siddheshwar Rameshwar Bhatt (ed.), Quantum Reality and Theory of Śūnya. Springer. pp. 13-26.
    The hard problem of consciousness arises in most incarnations of present day physicalism. Why should certain physical processes necessarily be accompanied by experience? One possible response is that physicalism itself should be modified in order to accommodate experience: But, modified how? In the present work, we investigate whether an ontology derived from quantum field theory can help resolve the hard problem. We begin with the assumption that experience cannot exist without being accompanied by a subject of experience (SoE). While people (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. Oncology ontology in the NCI Thesaurus.Anand Kumar & Barry Smith - 2005 - Artificial Intelligence in Medicine:213-220.
    The National Cancer Institute’s Thesaurus (NCIT) has been created with the goal of providing a controlled vocabulary which can be used by specialists in the various sub-domains of oncology. It is intended to be used for purposes of annotation in ways designed to ensure the integration of data and information deriving from these various sub-domains, and thus to support more powerful cross-domain inferences. In order to evaluate its suitability for this purpose, we examined the NCIT’s treatment of the kinds of (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  19. The Unified Medical Language System and the Gene Ontology: Some critical reflections.Anand Kumar & Barry Smith - 2003 - In A. Günter, R. Kruse & B. Neumann (eds.), KI 2003: Advances in Artificial Intelligence. Berlin: Springer. pp. 135-148.
    The Unified Medical Language System and the Gene Ontology are among the most widely used terminology resources in the biomedical domain. However, when we evaluate them in the light of simple principles for wellconstructed ontologies we find a number of characteristic inadequacies. Employing the theory of granular partitions, a new approach to the understanding of ontologies and of the relationships ontologies bear to instances in reality, we provide an application of this theory in relation to an example drawn from the (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  20. Religious Practices and Democratic Values in India: A Search for Interreligious Dialogue.Sirswal Desh Raj - 2017 - In Raj Sirswal Desh (ed.), Proceedings of National Seminar on World Religions: A Step Towards Inter Religious Dialogue.
    India has a long, rich, and diverse tradition of philosophical thoughts, spanning some two and a half millennia and encompassing several major religious traditions. India’s democracy can be said to rest on the foundation of religious practice due to the practice of multi-religions and different sects in its continent. Religious practices ties among citizens that generate positive and democratic political outcomes if we see it from the ideals of any religious doctrine as per their written scripture. But in society religious (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. The Significance of Evidence-based Reasoning in Mathematics, Mathematics Education, Philosophy, and the Natural Sciences (2nd edition).Bhupinder Singh Anand - 2024 - Mumbai: DBA Publishing (Second Edition).
    In this multi-disciplinary investigation we show how an evidence-based perspective of quantification---in terms of algorithmic verifiability and algorithmic computability---admits evidence-based definitions of well-definedness and effective computability, which yield two unarguably constructive interpretations of the first-order Peano Arithmetic PA---over the structure N of the natural numbers---that are complementary, not contradictory. The first yields the weak, standard, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically verifiable Tarskian truth values to the formulas of PA under the interpretation. (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  22. Towards a proteomics meta-classification.Anand Kumar & Barry Smith - 2004 - In Kumar Anand & Smith Barry (eds.), IEEE Fourth Symposium on Bioinformatics and Bioengineering, Taichung, Taiwan. IEEE Press. pp. 419–427.
    that can serve as a foundation for more refined ontologies in the field of proteomics. Standard data sources classify proteins in terms of just one or two specific aspects. Thus SCOP (Structural Classification of Proteins) is described as classifying proteins on the basis of structural features; SWISSPROT annotates proteins on the basis of their structure and of parameters like post-translational modifications. Such data sources are connected to each other by pairwise term-to-term mappings. However, there are obstacles which stand in the (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  23. A Geometrical Perspective of The Four Colour Theorem.Bhupinder Singh Anand - manuscript
    All acknowledged proofs of the Four Colour Theorem (4CT) are computerdependent. They appeal to the existence, and manual identification, of an ‘unavoidable’ set containing a sufficient number of explicitly defined configurations—each evidenced only by a computer as ‘reducible’—such that at least one of the configurations must occur in any chromatically distinguished, putatively minimal, planar map. For instance, Appel and Haken ‘identified’ 1,482 such configurations in their 1977, computer-dependent, proof of 4CT; whilst Neil Robertson et al ‘identified’ 633 configurations as sufficient (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. Ontology for task-based clinical guidelines and the theory of granular partitions.Anand Kumar & Barry Smith - 2003 - In Michel Dojat, Elpida T. Keravnou & Pedro Barahona (eds.), Proceedings of 9th Conference on Artificial Intelligence in Medicine Europe (AIME 2003). Springer. pp. 71-75.
    The theory of granular partitions (TGP) is a new approach to the understanding of ontologies and other classificatory systems. The paper explores the use of this new theory in the treatment of task-based clinical guidelines as a means for better understanding the relations between different clinical tasks, both within the framework of a single guideline and between related guidelines. We used as our starting point a DAML+OIL-based ontology for the WHO guideline for hypertension management, comparing this with related guidelines and (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  25. Could This Be Fermat’s Lost ‘Proof’ of FLT?Bhupinder Singh Anand -
    Download  
     
    Export citation  
     
    Bookmark  
  26. Glossary of Philosophy of Mind.Desh Raj Sirswal - manuscript
    This is a collection of terms and definitions which I used in my research work entitled A Philosophical study of the Concept of Mind (with special reference to René Descartes, David Hume and Gilbert Ryle). You can find the reference abbreviation with page no. in the end of the definition. Suggestions are invited for further improvement.- -/- Dr Desh Raj Sirswal .
    Download  
     
    Export citation  
     
    Bookmark  
  27. Essence, Explanation, and Modality.Michael Wallner & Anand Vaidya - 2020 - Philosophy 95 (4):419-445.
    Recently, Kit Fine's (1994) view that modal truths aretrue in virtue of,grounded in, orexplained byessentialist truths has been under attack. In what follows we offer two responses to the wave of criticism against his view. While the first response is pretty straightforward, the second is based on the distinction between, what we call,Reductive Finean EssentialismandNon-Reductive Finean Essentialism. Engaging the work of Bob Hale onNon-Reductive Finean Essentialism, we aim to show that the arguments against Fine's view are unconvincing, while we acknowledge (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  28. Context-based task ontologies for clinical guidelines.Anand Kumar, Paolo Ciccarese, Barry Smith & Matteo Piazza - 2004 - In Pisanelli D. (ed.), Ontologies in Medicine: Proceedings of the Workshop on Medical Ontologies, Rome October 2003 (Studies in Health and Technology Informatics, 102). IOS Press. pp. 81-94.
    Evidence-based medicine relies on the execution of clinical practice guidelines and protocols. A great deal of of effort has been invested in the development of various tools which automate the representation and execution of the recommendations contained within such guidelines and protocols by creating Computer Interpretable Guideline Models (CIGMs). Context-based task ontologies (CTOs), based on standard terminology systems like UMLS, form one of the core components of such a model. We have created DAML+OIL-based CTOs for the tasks mentioned in the (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  29. Dependence relationships between Gene Ontology terms based on TIGR gene product annotations.Anand Kumar, Barry Smith & Christian Borgelt - 2004 - Proceedings of the 3rd International Workshop on Computational Terminology 2004:31-38.
    The Gene Ontology is an important tool for the representation and processing of information about gene products and functions. It provides controlled vocabularies for the designations of cellular components, molecular functions, and biological processes used in the annotation of genes and gene products. These constitute three separate ontologies, of cellular components), molecular functions and biological processes, respectively. The question we address here is: how are the terms in these three separate ontologies related to each other? We use statistical methods and (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  30. Enhancing GO for the sake of clinical bioinformatics.Anand Kumar & Barry Smith - 2004 - Proceedings of the Bio-Ontologies Workshop , Glasgow 133.
    Recent work on the quality assurance of the Gene Ontology (GO, Gene Ontology Consortium 2004) from the perspective of both linguistic and ontological organization has made it clear that GO lacks the kind of formalism needed to support logic-based reasoning. At the same time it is no less clear that GO has proven itself to be an excellent terminological resource that can serve to combine together a variety of biomedical database and information systems. Given the strengths of GO, it is (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  31. A framework for protein classification.Anand Kumar & Barry Smith - 2003 - In Anand Kumar & Barry Smith (eds.), Proceedings of the 2003 German Conference on Bioinformatics, Vol. II. pp. 55-57.
    It is widely understood that protein functions can be exhaustively described in terms of no single parameter, whether this be amino acid sequence or the three-dimensional structure of the underlying protein molecule. This means that a number of different attributes must be used to create an ontology of protein functions. Certainly much of the required information is already stored in databases such as Swiss-Prot, Protein Data Bank, SCOP and MIPS. But the latter have been developed for different purposes and the (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  32. Bridging the gap between medical and bioinformatics: An ontological case study in colon carcinoma.Anand Kumar, Yum Lina Yip, Barry Smith & Pierre Grenon - 2006 - Computers in Biology and Medicine 36 (7):694--711.
    Ontological principles are needed in order to bridge the gap between medical and biological information in a robust and computable fashion. This is essential in order to draw inferences across the levels of granularity which span medicine and biology, an example of which include the understanding of the roles of tumor markers in the development and progress of carcinoma. Such information integration is also important for the integration of genomics information with the information contained in the electronic patient records in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33. Six questions on the construction of ontologies in biomedicine.Anand Kumar, A. Burgun, W. Ceusters, J. Cimino, J. Davis, P. Elkin, I. Kalet, A. Rector, J. Rice, J. Rogers, Barry Smith & Others - 2005 - Report of the AMIA Working Group on Formal Biomedical Knowledge Representation 1.
    (Report assembled for the Workshop of the AMIA Working Group on Formal Biomedical Knowledge Representation in connection with AMIA Symposium, Washington DC, 2005.) Best practices in ontology building for biomedicine have been frequently discussed in recent years. However there is a range of seemingly disparate views represented by experts in the field. These views not only reflect the different uses to which ontologies are put, but also the experiences and disciplinary background of these experts themselves. We asked six questions related (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. An ontology for carcinoma classification for clinical bioinformatics.Anand Kumar, Yum Lina Yip, Barry Smith, Dirk Marwede & Daniel Novotny - 2005 - Studies in Health Technology and Informatics 116 (1):635-640.
    There are a number of existing classifications and staging schemes for carcinomas, one of the most frequently used being the TNM classification. Such classifications represent classes of entities which exist at various anatomical levels of granularity. We argue that in order to apply such representations to the Electronic Health Records one needs sound ontologies which take into consideration the diversity of the domains which are involved in clinical bioinformatics. Here we outline a formal theory for addressing these issues in a (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  35. Clinical guidelines as plans: An ontological theory.Anand Kumar, Barry Smith, Domenica Pisanelli, Aldo Gangemi & Mario Stefanelli - 2006 - Methods of Information in Medicine 45 (2):204-210.
    Clinical guidelines are special types of plans realized by collective agents. We provide an ontological theory of such plans that is designed to support the construction of a framework in which guideline-based information systems can be employed in the management of workflow in health care organizations. The framework we propose allows us to represent in formal terms how clinical guidelines are realized through the actions of are realized through the actions of individuals organized into teams. We provide various levels of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. Formalizing UMLS Relations Using Semantic Partitions in the Context of a Task-Based Clinical Guidelines Model.Anand Kumar, Matteo Piazza, Barry Smith, Silvana Quaglini & Mario Stefanelli - 2004 - In Anand Kumar, Matteo Piazza, Barry Smith, Silvana Quaglini & Mario Stefanelli (eds.), Formalizing UMLS Relations Using Semantic Partitions in the Context of a Task-Based Clinical Guidelines Model. Saarbrücken: IFOMIS.
    An important part of the Unified Medical Language System (UMLS) is its Semantic Network, consisting of 134 Semantic Types connected to each other by edges formed by one or more of 54 distinct Relation Types. This Network is however for many purposes overcomplex, and various groups have thus made attempts at simplification. Here we take this work further by simplifying the relations which involve the three Semantic Types – Diagnostic Procedure, Laboratory Procedure and Therapeutic or Preventive Procedure. We define operators (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37. Implementing clinical guidelines in an organizational setup.Anand Kumar, Barry Smith, Mario Stefanelli, Silvana Quaglini & Matteo Piazza - 2003 - In Kumar Anand, Smith Barry, Stefanelli Mario, Quaglini Silvana & Piazza Matteo (eds.), Proceedings of the Workshop on Model-Based and Qualitative Reasoning in Biomedicine, AIME . pp. 39-44.
    Outcomes research in healthcare has been a topic much addressed in recent years. Efforts in this direction have been supplemented by work in the areas of guidelines for clinical practice and computer-interpretable workflow and careflow models.In what follows we present the outlines of a framework for understanding the relations between organizations, guidelines, individual patients and patient-related functions. The derived framework provides a means to extract the knowledge contained in the guideline text at different granularities, in ways that can help us (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. The “The Life Divine’’ as it Begins: An essential understanding of the first chapter of Life Divine – “The Human Aspiration”.Anand Vaidya - manuscript
    Human Aspiration is the first chapter of the magnum opus book "Life Divine". Here in in this chapter Sri Aurobindo one of the most modern prolific philosophers of Renaissance India has highlighted his focal points as to what Man's eternal aspiration has been, that is, God, Light , Freedom & Eternity. Despite technological and scientific advancements, Mans is still thirsty, it is because he aspires for a Divine Life. The article talks about the "Human aspiration" of eternity in details.
    Download  
     
    Export citation  
     
    Bookmark  
  39.  37
    An ontological framework for the implementation of clinical guidelines in health care organizations.Anand Kumar, Barry Smith, Domenico M. Pisanelli, Aldo Gangemi & Mario Stefanelli - 2004 - In Kumar Anand, Smith Barry, Pisanelli Domenico M., Gangemi Aldo & Stefanelli Mario (eds.), Ontologies in Medicine: Proceedings of the Workshop on Medical Ontologies (Rome October 2003), Amsterdam: IOS Press,. IOS Press. pp. 95–107.
    The paper presents the outlines of an ontology of plans and guidelines, which is then used as the basis for a framework for implementing guideline-based systems for the management of workflow in health care organizations. The framework has a number of special features, above all in that it enables us to represent in formal terms assignments of work-items both to individuals and to teams and to tailor guideline to specific contexts of application in health care organizations. It is designed also (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40. A strategy for improving and integrating biomedical ontologies.Cornelius Rosse, Anand Kumar, Jose L. V. Mejino, Daniel L. Cook, Landon T. Detwiler & Barry Smith - 2007 - In Ron Rudnicki (ed.), Proceedings of the Annual Symposium of the American Medical Informatics Association. AMIA. pp. 639-643.
    The integration of biomedical terminologies is indispensable to the process of information integration. When terminologies are linked merely through the alignment of their leaf terms, however, differences in context and ontological structure are ignored. Making use of the SNAP and SPAN ontologies, we show how three reference domain ontologies can be integrated at a higher level, through what we shall call the OBR framework (for: Ontology of Biomedical Reality). OBR is designed to facilitate inference across the boundaries of domain ontologies (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  41. The ontology of blood pressure: A case study in creating ontological partitions in biomedicine.Anand Kumar & Barry Smith - 2003 - IFOMIS Reports.
    We provide a methodology for the creation of ontological partitions in biomedicine and we test the methodology via an application to the phenomenon of blood pressure. An ontology of blood pressure must do justice to the complex networks of intersecting pathways in the organism by which blood pressure is regulated. To this end it must deal not only with the anatomical structures and physiological processes involved in such regulation but also with the relations between these at different levels of granularity. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42. Why did Fermat believe he had `a truly marvellous demonstration' of FLT?Bhupinder Singh Anand - manuscript
    Conventional wisdom dictates that proofs of mathematical propositions should be treated as necessary, and sufficient, for entailing `significant' mathematical truths only if the proofs are expressed in a---minimally, deemed consistent---formal mathematical theory in terms of: * Axioms/Axiom schemas * Rules of Deduction * Definitions * Lemmas * Theorems * Corollaries. Whilst Andrew Wiles' proof of Fermat's Last Theorem FLT, which appeals essentially to geometrical properties of real and complex numbers, can be treated as meeting this criteria, it nevertheless leaves two (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43. An Elementary, Pre-formal, Proof of FLT: Why is x^n+y^n=z^n solvable only for n<3?Bhupinder Singh Anand - manuscript
    Andrew Wiles' analytic proof of Fermat's Last Theorem FLT, which appeals to geometrical properties of real and complex numbers, leaves two questions unanswered: (i) What technique might Fermat have used that led him to, even if only briefly, believe he had `a truly marvellous demonstration' of FLT? (ii) Why is x^n+y^n=z^n solvable only for n<3? In this inter-disciplinary perspective, we offer insight into, and answers to, both queries; yielding a pre-formal proof of why FLT can be treated as a true (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44. A Pre-formal Proof of Why No Planar Map Needs More Than Four Colours.Bhupinder Singh Anand - manuscript
    Although the Four Colour Theorem is passe, we give an elementary pre-formal proof that transparently illustrates why four colours suffice to chromatically differentiate any set of contiguous, simply connected and bounded, planar spaces; by showing that there is no minimal 4-coloured planar map M. We note that such a pre-formal proof of the Four Colour Theorem highlights the significance of differentiating between: (a) Plato's knowledge as justified true belief, which seeks a formal proof in a first-order mathematical language in order (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. The Truth Assignments That Differentiate Human Reasoning From Mechanistic Reasoning: The Evidence-Based Argument for Lucas' Goedelian Thesis.Bhupinder Singh Anand - 2016 - Cognitive Systems Research 40:35-45.
    We consider the argument that Tarski's classic definitions permit an intelligence---whether human or mechanistic---to admit finitary evidence-based definitions of the satisfaction and truth of the atomic formulas of the first-order Peano Arithmetic PA over the domain N of the natural numbers in two, hitherto unsuspected and essentially different, ways: (1) in terms of classical algorithmic verifiabilty; and (2) in terms of finitary algorithmic computability. We then show that the two definitions correspond to two distinctly different assignments of satisfaction and truth (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  46. दार्शनिक निबन्ध (Philosophical Essays).Desh Raj Sirswal - 2020 - Pehowa (Kurukshetra): CPPIS.
    दार्शनिक निबन्ध (Philosophical Essays) Dr. Desh Raj Sirswal No. CPPIS/2020/01 First Edition: March 2020 .
    Download  
     
    Export citation  
     
    Bookmark  
  47. Do Goedel's incompleteness theorems set absolute limits on the ability of the brain to express and communicate mental concepts verifiably?Bhupinder Singh Anand - 2004 - Neuroquantology 2:60-100.
    Classical interpretations of Goedels formal reasoning, and of his conclusions, implicitly imply that mathematical languages are essentially incomplete, in the sense that the truth of some arithmetical propositions of any formal mathematical language, under any interpretation, is, both, non-algorithmic, and essentially unverifiable. However, a language of general, scientific, discourse, which intends to mathematically express, and unambiguously communicate, intuitive concepts that correspond to scientific investigations, cannot allow its mathematical propositions to be interpreted ambiguously. Such a language must, therefore, define mathematical truth (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  48. The Significance of Evidence-based Reasoning for Mathematics, Mathematics Education, Philosophy and the Natural Sciences.Bhupinder Singh Anand - forthcoming
    In this multi-disciplinary investigation we show how an evidence-based perspective of quantification---in terms of algorithmic verifiability and algorithmic computability---admits evidence-based definitions of well-definedness and effective computability, which yield two unarguably constructive interpretations of the first-order Peano Arithmetic PA---over the structure N of the natural numbers---that are complementary, not contradictory. The first yields the weak, standard, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically verifiable Tarskian truth values to the formulas of PA under the interpretation. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  49. On the application of formal principles to life science data: A case study in the Gene Ontology.Jacob Köhler, Anand Kumar & Barry Smith - 2004 - In Köhler Jacob, Kumar Anand & Smith Barry (eds.), Proceedings of DILS 2004 (Data Integration in the Life Sciences), (Lecture Notes in Bioinformatics 2994). Springer. pp. 79-94.
    Formal principles governing best practices in classification and definition have for too long been neglected in the construction of biomedical ontologies, in ways which have important negative consequences for data integration and ontology alignment. We argue that the use of such principles in ontology construction can serve as a valuable tool in error-detection and also in supporting reliable manual curation. We argue also that such principles are a prerequisite for the successful application of advanced data integration techniques such as ontology-based (...)
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  50. Definitional dictionary of logic.Desh Raj Sirswal - manuscript
    DEFINITIONAL DICTIONARY OF LOGIC -/- 2009 -/- Complied by -/- Dr Desh Raj Sirswal -/- .
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 996